

\begin{titlepage}


% header
\begin{tabular}{>{\centering}p{5cm}>{\centering}p{8cm}}
{\it University of  Alexandru Ioan Cuza}
&
{\it Faculty of Computer Science }
\tabularnewline
\includegraphics[scale=0.15]{uaic.jpg}
&
\includegraphics[scale=0.95]{fii.png}
\end{tabular}


\vspace{3 cm}


\begin{center}

{\huge Contextual transformation \\in K framework}

\vspace{3 cm}

{\it Submitted in partial fulfillment of the requirements\\
 for the degree of \\
 Master of Computer Science}

\vspace{1 cm}

{\it Ia{\c s}i, 2011}

\vspace{3 cm}

% Author and supervisor
\begin{minipage}{0.4\textwidth}
\begin{flushleft} \large
\emph{Student:}\\
Andrei \textsc{Arusoaie}
\end{flushleft}
\end{minipage}
\begin{minipage}{0.4\textwidth}
\begin{flushright} \large
\emph{Supervisor:} \\
Prof. Dr.~Dorel \textsc{Lucanu}
\end{flushright}
\end{minipage}

\vfill


\end{center}

\end{titlepage}
        
